Towards Explanation Production Combining Natural Language Processing and Logical Reasoning (NII Shonan Meeting 2014-15)

Logical analysis of descriptions and their presentations - a computational logic approach (NII Shonan Meeting 2015-2)

Towards the ground truth: Exact algorithms for bioinformatics research (NII Shonan Meeting 2014-2)

This report is joint work of the attendees of the seminar (see Section 4) and has been edited by the organizers.

Computer Visualization - Concepts and Challenges (NII Shonan Meeting 2014-1)

Computational Intelligence for Software Engineering (NII Shonan Meeting 2014-13)

Grid and Cloud Security: A Confluence (NII Shonan Meeting 2014-3)